تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۶,۹۱ ثانیه یافت شد.

1. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings

پدیدآورنده : / Geoff Sutcliffe, Andrei Voronkov (eds.)

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses

رده :

005

.

115

I61L

2005

2. May 1, 2010, Revised Selected Papersع۰ب‍16, Dakar, Senegal, April 25-Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR

پدیدآورنده : / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

رده :

E-BOOK

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها